TAGs: natural numbers